-
1 правило подстановки
1. rewriting rule2. substitution ruleРусско-английский большой базовый словарь > правило подстановки
-
2 правило подстановки
-
3 правило подстановки
Русско-английский словарь по информационным технологиям > правило подстановки
-
4 правило подстановки
правило подстановки
—
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]Тематики
EN
Русско-английский словарь нормативно-технической терминологии > правило подстановки
-
5 правило подстановки
Большой англо-русский и русско-английский словарь > правило подстановки
-
6 правило подстановки
rewrite [rewriting\] rule вчт., substitution rule, productionАнгло-русский словарь технических терминов > правило подстановки
-
7 правило подстановки
1) Mathematics: rule of substitution, substitution rule2) Information technology: production, retractable rule, rewrite rule, rewriting ruleУниверсальный русско-английский словарь > правило подстановки
-
8 правило подстановки
n -
9 правило подстановки
rewrite rule вчт., substitution ruleРусско-английский словарь по электронике > правило подстановки
-
10 правило подстановки
rewrite rule вчт., substitution ruleРусско-английский словарь по радиоэлектронике > правило подстановки
-
11 правило подстановки
rewrite rule, rewriting rule, substitution ruleРусско-английский словарь по вычислительной технике и программированию > правило подстановки
-
12 правило подстановки
Русско-английский математический словарь > правило подстановки
-
13 правило подстановки
rule of substitution мат., substitution ruleРусско-английский научно-технический словарь Масловского > правило подстановки
-
14 правило подстановки
rewrite [rewriting] rule вчт., substitution rule, productionРусско-английский политехнический словарь > правило подстановки
-
15 правило подстановки
sijoitussääntö (mat) -
16 леворекурсивное правило подстановки
Русско-английский большой базовый словарь > леворекурсивное правило подстановки
-
17 праворекурсивное правило подстановки
Русско-английский большой базовый словарь > праворекурсивное правило подстановки
-
18 леворекурсивное правило подстановки
Information technology: left recursive ruleУниверсальный русско-английский словарь > леворекурсивное правило подстановки
-
19 праворекурсивное правило подстановки
Information technology: right recursive ruleУниверсальный русско-английский словарь > праворекурсивное правило подстановки
-
20 правило
I пр`авилопра́вило- порождающие правила
- правила безопасности
- правила обслуживания
- правила подстановки
- правила приёмки
- правило буравчика
- правило вывода
- правило двойственности
- правило дифференцирования
- правило доказательства
- правило заключения
- правило затухания
- правило золотого сечения
- правило исключения
- правило ложного положения
- правило обобщения
- правило отбора
- правило отделения
- правило приравнивания
- правило произведения
- правило сдвига
- правило смешения
- правило смещения
- правило сумм
- правило трапеций
- правило устойчивости
- правило фаз
- решающее правило
- тройное правило
- цепное правило
- эмпирическоое правило II прав`илотехн.1) ( приспособление) прави́ло; ( руль - ещё) стерно́, кермо́2) (у баржи, плота) трепло́
См. также в других словарях:
правило подстановки — — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом EN rewrite rulesubstitution rule … Справочник технического переводчика
правило подстановки — pakeitimo taisyklė statusas T sritis automatika atitikmenys: angl. rewriting rule; substitution rule vok. Substitutionsregel, f rus. правило подстановки, n pranc. règle de substitution, f … Automatikos terminų žodynas
ПРАВИЛО ЗАМЕНЫ РАВНОГО РАВНЫМ — правило, согласно к рому в случае, если два выражения p и q равны,. во всяком истинном высказывании, содержащем p или q, можно одно из них заменить на другое, не нарушая истинности этого высказывания. Выражение р и q равны следует понимать в том… … Философская энциклопедия
ПОДСТАНОВКИ ПРАВИЛО — одно из вывода правил логико математических исчислений. Под названием П. п. могут фигурировать различные виды правил. Напр., в высказываний исчислении это П. п. формулы вместо всех вхождений пропозициональной переменной. Для предикатное… … Математическая энциклопедия
ПОДСТАНОВКИ, ПРАВИЛО — В лингвистике – правило, которое определяет, как одна лингвистическая форма должна быть изменена, чтобы получилась грамматическая фраза или предложение. Например, NP (Art N – это правило вывода, согласно которому фраза с существительным (NP)… … Толковый словарь по психологии
ПРОИЗВОДНОЕ ПРАВИЛО — вывода для данного исчисления вывода правило, заключение к рого выводимо из его посылок в рассматриваемом исчислении. Напр., в высказываний исчислении правило вывода является П. п., поскольку в этом исчислении имеет место выводимость из посылок:… … Математическая энциклопедия
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории … Философская энциклопедия
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия
Логика — (греч. logike̅́) наука о приемлемых способах рассуждения. Слово «Л.» в его современном употреблении многозначно, хотя и не столь богато смысловыми оттенками, как древнегреч. lógos, от которого оно происходит. В духе традиции с понятием Л … Большая советская энциклопедия
логика комбинаторная — (от лат. combinare соединять, сочетать) одно из направлений в математической логике, занимающееся анализом понятий, которые в рамках классической математической логики принимаются без дальнейшего изучения (напр., понятия переменная , функция ,… … Словарь терминов логики
ЛОГИКА КОМБИНАТОРНАЯ — одно из направлений логики, занимающихся ее основаниями, т.е. такими осн. понятиями и методами, к рые при построении формальных логич. систем или исчислений предполагаются обычно не нуждающимися в пояснениях (содержательно понятными) и не… … Философская энциклопедия